let run_state (State f) s = f s
